#pragma once

#include <linux/types/hrtimer.h>
#include <linux/timer.h>

/* Soft interrupt function to run the hrtimer queues: */
extern void hrtimer_run_queues(void);
